University Challenge

Results: 1319



#Item
471Formal methods / Automated theorem proving / Logic in computer science / POPLmark challenge / Programming language theory / Formal sciences / QED manifesto / Nqthm / Theoretical computer science / Mathematics / Logic

It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:08
472Green vehicles / Emerging technologies / Liquid fuels / Electric vehicles / Petroleum products / Alternative fuel vehicle / Ethanol fuel / Fuel efficiency / Hybrid vehicle / Energy / Technology / Sustainability

July 22, 2014 Nagoya University Summer Intensive Program 2014 Technology Innovation and Challenge for Sustainable Mobility

Add to Reading List

Source URL: www.engg.nagoya-u.ac.jp

Language: English - Date: 2014-07-29 23:29:09
473Nanotechnology / John Curtin / Politics of Australia / Government of Australia / Association of Commonwealth Universities / Curtin University

art in the age of nanotechnology Symposium strange futures: collaborations that make nano-art art in the age of nanotechnology features a series of collaborative projects designed to challenge, explore and critique our

Add to Reading List

Source URL: johncurtingallery.curtin.edu.au

Language: English - Date: 2015-02-26 04:35:48
474International relations / Mind / Human security / Suffering / Humanitarianism / Humanitarian intervention / Human rights / Aid / Humanitarian Action / Ethics / International security / Humanitarian aid

Lincoln C. Chen, M.D., Director, Global Equity Initiative, Harvard University “Expanding the Humanitarian Space: Challenge for Global Philanthropy” The world looks and feels very different today—more uncertain, ins

Add to Reading List

Source URL: www.hiltonfoundation.org

Language: English - Date: 2012-10-19 17:30:38
475Human geography / Science / International migration / Immigration / Bird migration / Refugee / Return migration / Global Migration Group / Migrant worker / Demography / Population / Human migration

2015 WUN Migration Conference, Hong Kong[removed]April 2015 Titles and abstracts Stephen Castles, University of Sydney ‘Migration and culture: A challenge for Asian nations in an era of transnationalism’ Abstract: Cult

Add to Reading List

Source URL: www.wun.ac.uk

Language: English - Date: 2015-04-15 00:03:24
476Plastics / Anaerobic digestion / Biodegradable plastic / Oxo Biodegradable / Bioplastic / Biodegradable waste / Biodegradable polymer / Transition metal oxo complex / Incineration / Waste management / Biodegradation / Bags

OXO-BIODEGRADABLE PLASTICS ASSOCIATION A not-for-profit Association limited by Guarantee EU Reg. no[removed]. Researchers from leading French university challenge EU on

Add to Reading List

Source URL: www.biodeg.org

Language: English - Date: 2015-03-03 05:19:14
477United States / Arkansas / Bertil Hult / Hult International Business School / Bill Clinton / Clinton Foundation / Politics of the United States

TEAM OF UNIVERSITY OF MICHIGAN STUDENTS ONE STEP CLOSER TO WINNING USD1 MILLION HULT PRIZE AND SOLVING PRESIDENTIAL CHALLENGE Top-tier schools go head-to-head in world’s largest student competition, competing for $1 mi

Add to Reading List

Source URL: erb.umich.edu

Language: English - Date: 2015-03-12 17:48:26
4783D printing / RepRap Project / Solid freeform fabrication / University of Bath / Visual arts / Sculpture / Technology

Bronwyn Holloway-Smith Whispers down the lane, 2012, mixed media Bronwyn Holloway-Smith uses the occasion of this exhibition to challenge the boundaries of sculpture, especially its willingness to step into the new expan

Add to Reading List

Source URL: citygallery.org.nz

Language: English - Date: 2013-10-16 00:17:33
479Academia / Disability / Educational psychology / Population / Accessibility / Disabled students allowance / University of Leeds / Universities in the United Kingdom / Education / Knowledge / Association of Commonwealth Universities

University Challenge 2013 The Trailblazers’ Higher Education report Report 13 of the Inclusion Now Series, October 2013 Trailblazers Young Campaigners’ Network

Add to Reading List

Source URL: www.mdctrailblazers.org

Language: English - Date: 2013-10-01 10:40:26
480Academia / Disability / Educational psychology / Population / Accessibility / Disabled students allowance / University of Leeds / Universities in the United Kingdom / Education / Knowledge / Association of Commonwealth Universities

University Challenge 2013 The Trailblazers’ Higher Education report Report 13 of the Inclusion Now Series, October 2013 Trailblazers Young Campaigners’ Network

Add to Reading List

Source URL: www.mdctrailblazers.org

Language: English - Date: 2013-12-06 12:15:29
UPDATE